منابع مشابه
Translating functional programs to GCLA *
This paper presents an attempt to do lazy evaluation in GCLA by translating functional programs into GCLA definitions and evaluating these using a proper procedural part. The resulting GCLA programs are described with some detail to illuminate different aspects of GCLA programming.
متن کاملA Methodology for Translating C-Programs to OpenCL
Graphics Processing Units (GPUs) is currently a common feature of high performance computing. Languages such as CUDA and Open Computing Language (OpenCL) are such programming models; provide a standard interface for achieving high performance across these GPU devices. However, because of the wide variety of architectural complexities of these GPU devices; often makes difficult to write programs...
متن کاملTranslating Event-B machines to Eiffel programs
Formal modelling languages play a key role in the development of soware since they enable users to prove correctness of system properties. However, there is still not a clear understanding on how to map a formal model to a specic programming language. In order to propose a solution, this paper presents a source-to-source mapping between EventB models and Eiel programs, therefore enabling the...
متن کاملTranslating Refined Logic Programs to Mercury
A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we investigate the use of Mercury as the target implementation language for a refinement calculus for logic programs. We describe a prototype tool for translating programs in our specification language to Mercury cod...
متن کاملModel Checking MSVL Programs Based on Dynamic Symbolic Execution
In this paper, we propose a DSE based model checking approach (DSE-MC) for verifying programs written in Modelling, Simulation and Verification Language (MSVL) [1,3]. For doing so, we adopt a DSE method to execute an MSVL program to generate a symbolic execution tree (SEtree) which is used as the abstract model of the program. Further, a property to be verified is specified by a Propositional P...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2020
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2019.12.038